#include<stdio.h>
int a[14],s[14],sum=0;
void dfs(int k,int n)
{
	if(k==n){
		sum++;
		return;
	}
	if(k>=4&&a[1]+a[2]!=a[3]) return;
	if(k>=7&&a[4]+a[5]!=a[6]) return;
	if(k>=10&&a[7]+a[8]!=a[9]) return;
	if(k>=13&&a[10]+a[11]!=a[12]) return;
	for(int i=1;i<n;i++){
		if(s[i]) continue;
		a[k]=i; 
		s[i]=1;
		dfs(k+1,n);
		s[i]=0;
	}
	
}
int main()
{
	for(int i=1;i<14;i++)
		a[i]=i;
	dfs(1,14);
	printf("%d",sum);
	return 0;
}
